Concurrent Objects in the Blue Calculus
نویسنده
چکیده
INRIA Sophia-Antipolis Abstract. We describe a model of concurrent objects based on the blue calculus ( ?), a typed variant of the asynchronous -calculus in which the notion of function is directly embedded. We propose a definition for a simple concurrent object-based calculus and show how objects can be translated in ?. We also present the type system for objects derived from our definition and we verify the expressiveness of the object calculus by giving a direct and adequate interpretation of Abadi and Cardelli object calculus:Ob1<:, that preserves subtyping.
منابع مشابه
An Interpretation of Typed Concurrent Objects in the Blue Calculus Draft
We propose an interpretation of a typed concurrent calculus of objects (conc&) based on the model of Abadi and Cardelli's imperative object calculus. The target of our interpretation is a version of the blue calculus, a variant of the-calculus that directly contains the-calculus, with record and rst-order types. We show that reduction and type judgements can be derived in a rather simple and na...
متن کاملAn Interpretation of Typed Concurrent Objects in the Blue Calculus
We propose an interpretation of a typed concurrent calculus of objects based on the imperative object calculus of Abadi and Cardelli. The target of our interpretation is a version of the blue calculus, a variant of the π-calculus that directly contains functions, with record and firstorder types. We show that reductions and type judgments are derivable in a rather simple and natural way, and th...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کامل"خمیر لاجورد" یا "آبی مصری"؟ بررسی ساختاری و هویتبخشی مجموعهای از اشیاء منسوب به خمیر لاجورد در موزه ملی ایران
In some of the archeological museum, the variety of blue object are nominated as Egyptian Blue, Lapis lazuli and Lapis lazuli paste. In this research, it was found that there are many mistake in this classification. Lapis lazuli, a brilliant azure-blue color gemstone, is a mixture of minerals, primarily containing the lazurite (blue) with small amounts of calcite, sodalite, and gold-color fleck...
متن کاملQuiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus
In this paper, we study a model of migrating objects based on the blue calculus extended with a very simple system of localities and we show how two migration behaviors can be defined, namely those of bouncing and quiet objects. These “migration control abstractions” are defined separately from other aspects of the object definition and can be easily reused, thus providing more flexibility in t...
متن کامل